1. Actors : a model of concurrent computation in distributed systems
پدیدآورنده : Agha, Gul A.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Electronic data processing - Distributed processing , Parallel processing )Electronic computers(
رده :
QA
76
.
9
.
D5
A37
1986
2. Concurrent Objects and Beyond
پدیدآورنده : / Gul Agha, Atsushi Igarashi, Naoki Kobayashi, Hidehiko Masuhara, Satoshi Matsuoka, Etsuya Shibayama, Kenjiro Taura
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
3. Concurrent object-oriented programming and Petri Nets : advances in Petri Nets
پدیدآورنده : Gul A. Agha, Fiorella De Cindio, Grzegorz Rozenberg )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Object-oriented programming )Computer science(,، Parallel processing )Electronic computers(,، Petri nets
رده :
QA
76
.
L28
Vol
.
2001
4. Concurrent object-oriented programming and Petri nets: advances in Petri nets
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Object-oriented programming )Computer science(,، Parallel processing )Electronic computers(,، Petri nets
رده :
QA
76
.
64
.
C6353
2001
5. Coordination Models and Languages
پدیدآورنده : / Dave Clarke, Gul Agha
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
6. Coordination models and language
پدیدآورنده : / Dave Clarke, Gul Agha (eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Parallel processing (Electronic computers), Congresses,Electronic data processing, Distributed processing, Congresses
رده :
QA76
.
58
.
C695
2010
7. Coordination models and languages
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Parallel processing (Electronic computers) ; Congresses. ; Electronic data processing ; Distributed processing ; Congresses. ; Koordinationssprache ; swd. ; Verteiltes System ; swd. ; Nebenl?ufigkeit ; swd. ; Mobile Computing ; swd. ;
8. Formal Modeling: Actors, Open Systems, Biological Systems
پدیدآورنده : / MeseguerفGul Agha, Olivier Danvy, Jos
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
9. Formal modeling :
پدیدآورنده : Gul Agha, Olivier Danvy, José Meseguer. (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer software-- Verification,Formal methods (Computer science),Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
رده :
QA76
.
9
.
F67
F67
2011
